#include <stdio.h>

#define PRINT(FORMAT, VALUE) printf("The value of " #VALUE " IS " FORMAT "\n" , VALUE)

int main()
{
    PRINT("%d", 10 + 3);
    return 0;
}
